11 Topics

Member Avatar for
Member Avatar for VengefulToast

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) …

Member Avatar for Hiroshe
0
327
Member Avatar for Schol-R-LEA

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 …

1
280
Member Avatar for TrustyTony

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 for TrustyTony
0
225
Member Avatar for TrustyTony

![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 …

0
606
Member Avatar for doomsday1216

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, …

Member Avatar for sepp2k
0
361
Member Avatar for mlhuff12

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 …

Member Avatar for Rashakil Fol
0
233
Member Avatar for Lerilaine

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 …

Member Avatar for TrustyTony
0
378
Member Avatar for WolfShield

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 …

Member Avatar for WolfShield
0
571
Member Avatar for Joslup

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

0
108
Member Avatar for TrustyTony

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 for TrustyTony
1
1K
Member Avatar for klactose

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 …

Member Avatar for Rashakil Fol
0
332

The End.