Does anybody know what Prolog is and if you do do you know how to program in Prolog? I need some help on a prolog problem.
Yes, smartass I know. Its a very old basic language and isn't populated over Google searches like say for example JAVA. Hence why I am asking on a PROGRAMMING FORUM on digital point. Thankyou!
It's a declarative language, so it's rather different from "ordinary" programming: http://en.wikipedia.org/wiki/Prolog
Im just here for some help can anybody do that? to me its an assignement dont give two sugars about what it is, I just need some help on a line of code I have
There's plenty of info on Google. Don't know why you can't get it to work. Digital Point is hardly the place to get answers to programming at all, much less prolog. You might as well ask about statistic or number theory.
Theres not enough on google to get broken down help on a line of code which is written by a teacher at an academic institution
Then you should be visiting the irc channels or mailing lists and forums for prolog, not DP. You might as well be asking about Lisp here (which I might actually be able to help with).
It didnt cost me to do so, and it didnt require me to have a huge pysical build to do so, so i went with it.
I developed an expert system in prolog over 20 years ago. When I started it was Borland Turbo Prolog. They sold the product back to PDC some years later. It continues today as visual prolog. It's actually free for personal use. There's a forum here: http://discuss.visual-prolog.com/ If you want to post some code, I'll try to help. If the problem is conceptual, I may be able to. If it is syntax related the PDC forum will help, for sure. The most powerful aspect of prolog is backtracking which allows you to find the solution (the goal) to a problem very efficiently. PDC prolog is use in air traffic control systems, package routing systems, employee scheduling systems and others that utilize very complex and numerous rules.
Hi thank you well this is a WFF = Ap ((EsEtElsElt belongs(s,p) ^ belongs(t,p) ^ fl(s,ls) ^ fl(t,lt) ^ ~equal(ls,lt)) => notlevelflight(p)) and I can't seem to convert that in clausal form, any help?
Prolog is a logic programming language. You don't often find it used much outside things like natural language processing and some AI areas. WHat's the problem you're working on?