Click here to Skip to main content
15,867,453 members
Please Sign up or sign in to vote.
2.00/5 (2 votes)
Hi all
I want implement the propositional logic. i don't know how and which programing language using for this Matter.

who could help me with an example?

I thank the person who can help me.
Posted
Updated 11-Jan-12 19:57pm
v2

1 solution

Hi. You may use different kind of languages..

Prolog: declarative, logic programming language
Lisp: It's a very popular language for AI programming
Smalltalk: An object-oriented, dynamically typed, reflective
language.
Description logics: Knowledge Base(KB) representation languages.

So, The choice depends on what you really want to do. I guess you can use Lisp. Please, google it how to use and implement your code...

Improved One:
It's hard to write whole bunch of codes in short time, you need to search and learn yourself.

You may follow this links.
http://groups.engin.umd.umich.edu/CIS/course.des/cis400/lisp/lisp.html[^]
http://groups.engin.umd.umich.edu/CIS/course.des/cis400/lisp/hworld.html[^]

I'm assuming you know the basic priciples of AI here. The rest is just learning how to use the language. Start writing with Hello World...
;;; HWorld.lsp

;;; ================================================== ;;;
;;; =========== HELLO WORLD SIMULATION ============== ;;;
;;; ================================================== ;;;


;;; This function simply returns the string Hello World that is in quotes.

(DEFUN HELLO ()
  "HELLO WORLD"
) 


Have Fun :)
 
Share this answer
 
v2
Comments
MohsenSaleh 3-Jan-12 4:07am    
excuse me can you show me with an simple example?
I'm beginer
Un_NaMeD 3-Jan-12 4:18am    
I've improved my solution. Please have a look...
MohsenSaleh 3-Jan-12 5:10am    
Tank you
Un_NaMeD 3-Jan-12 5:18am    
Your welcome.. One more thing, I guess your new here. if the answer is suitable and, you can accept the solution by clicking "accept solution" button. So, noone tries to solve and gives an answer the question anymore..
MohsenSaleh 12-Jan-12 1:47am    
yes i am and this isn't complete answer

This content, along with any associated source code and files, is licensed under The Code Project Open License (CPOL)



CodeProject, 20 Bay Street, 11th Floor Toronto, Ontario, Canada M5J 2N8 +1 (416) 849-8900