Hello fellow forum members, I am struggling to understand what I am supposed to be doing with ACL2. So I am given these axioms that define a function called up, and I just need to translate these into ACL2. -- axioms for predicate for increasing lists of numbers (up nil) = T {up0} (up (cons x nil)) = T {up1} (up (cons x1 (cons x2 xs))) = (and (<= x1 x2) (up (cons x2 xs))) {up2} Here is what I have... but it does not work. (defun problem1up (xs) (if (> (len xs) 1) (problem1up (cons (first xs) (cons (second …

Member Avatar
Member Avatar
+0 forum 2

I am currently working on a new language design in the Lisp family, which I am calling 'Thelema'. It is intended to be a multi-paradigm language which is related loosely to Scheme and, to a lesser extent, Common Lisp, but with modern concepts such as package management, support for object oriented design, and an extensive library system. The current design sketch can be found on its [Github repo](https://github.com/Schol-R-LEA/Thelema), where I am (slowly) working on codifying the design and eventually impementing it. Note that I am *not* soliciting collaborators (though I wouldn't turn one down out of hand, either). I am …

Member Avatar
+1 forum 0

I posted one Scheme code to Legacy Languages, and noticed that the formating for Lisp style quoting (single single quote or back quote before) does not function. I know you have more urgent things to consider, but you could put it in your list, Dani.

Member Avatar
Member Avatar
+0 forum 3

![Lisp001](/attachments/small/2/Lisp001.jpg "align-left") ![Lisp002](/attachments/small/2/Lisp002.jpg "align-right") I did translation to minimal Scheme implementation of Norvig written in Python (http://www.daniweb.com/software-development/python/threads/359370/norvig-an-even-better-lisp-interpreter-in-python) of the impedance code defined in classic book **Lisp by *Patric Henry Winston* and *Berthold Klaus Paul Horn*** from year 1981 (first computer book I ever bought). Errata: diagram has 10 MOhm when the code listed has 1 MOhm. I could not get eval to see the omega given as parameter to impedance in l and r functions so I had to do define in caller before invoking the function instead. If anybody knows the way to do it in Scheme, I would …

Member Avatar
+0 forum 0

I don't know if this is the right place for a post about Scheme, but i was wondering if anyone knew if there are loops and if statements in Scheme? (I am very new to Scheme, i know there are 'cond' statements, but i don't know if there are if's, or if there's a difference between the two) if there are in fact loops, an example of the syntax would be greatly appreciated. Thanks.

Member Avatar
Member Avatar
+0 forum 1

I am a Computer Science student. This semester I am taking an Artificial Intelligence course in which a large number of our labs will be programming with Lisp. Here on DaniWeb under Software Development I did not see a category for Lisp. I was wondering if anybody out there knew of any good Lisp forums that I could refer to when I have problems(at least problems pertaining to the language Lisp that is), which I'm sure will be very plentiful. Thanks in Advanced :) ~Michelle

Member Avatar
Member Avatar
+0 forum 2

Hello, I have this huge problem. I'm supposed to make a LISP interpreter in C++ but I have absolutely no idea what the programm should look like. So far I have a parser, which splits input string into the list of smaller strings (words, brackets). Could anyone give me a small clue of what to do next?

Member Avatar
Member Avatar
+0 forum 3

Hello guys, I am very interested in the Common Lisp programming language, but I need to know if it can be used as a general programming language. As in, if I wanted to create an IDE for three separate languages, then make an image editing programs after that, then make some other program, etc. Would Lisp work for all of these? Also, I haven't heard anything about Lisp GUI programming. Does Lisp support GUI programming, or can I use some other libraries for it, or how would that work? Thanks in advance, - [B][I]WolfShield[/I][/B]

Member Avatar
Member Avatar
+0 forum 4

catching the ID3 of mp3 file. How do I do? as I look? I need some idea. thanks guys.

Member Avatar
+0 forum 0

There is many more stupid things to do than to read words of one of the best if not the best: [URL="http://norvig.com/lispy2.html"](An ((Even Better) Lisp) Interpreter (in Python))[/URL]

Member Avatar
Member Avatar
+1 forum 1

Hello all, I am in the process of translating a program from lisp into C#, most of it has gone smoothly but I have run across two blocks of code that are giving me a bit of trouble. If anyone can help me translate these two pieces of code into C# I'd be very grateful. The COUNT-HIGHEST function: [code=lisp] (defun COUNT-HIGHEST (lists) "Returns the highest occuring pattern in its arg." (let* ((sorted-numbers (my-sort #'< (mapcar #'second lists))) (numbers-only (remove-duplicates sorted-numbers)) (counts (count-them numbers-only sorted-numbers))) (find-all (nth (position (first (my-sort #'> counts)) counts) numbers-only) lists))) [/code] And the sort function that …

Member Avatar
Member Avatar
+0 forum 4

The End.