4 ms·
Well, the classic logic programming language is Prolog, so learning it would be a good start. Here is something fairly lightweight on the subject: http://www.a
by romaniv 10y ago
Well, the classic logic programming language is Prolog, so learning it would be a good start. Here is something fairly lightweight on the subject:
http://www.amzi.com/AdventureInProlog/advtop.php http://www.amzi.com/AdventureInProlog/advtop.php
There was a great PDF that explained how unification and substitution of symbols worked in a concise and readable fashion, but I can't find it right now. Hm, maybe this one:
http://www.cs.ubbcluj.ro/~gabis/plf/Doc/SWI-Prolog/AnIntroductionToProlog.pdf http://www.cs.ubbcluj.ro/~gabis/plf/Doc/SWI-Prolog/AnIntrodu...
- the_watcher 10y agoCould you describe a classic use case? I'm also interested in learning some logic programming, but it's hard for me to conceptualize a use case that isn't already covered by the languages I regularly use.
- romaniv 10y agoBack in the day the two common use cases were expert systems and natural language processing (which are somewhat related). In this day and age I would most likely use Prolog for rule-based simulations or high-level game AI.