====== Prolog Examples Library ======
~~NOCACHE~~
This is a library of Prolog programs examples gathered from several books about Logic Programming and Prolog.
The library has been created by P.Hołownia and W.T.Furmańska, based on work done within student projects (MIW2006 & MIW2007).

For every example there is a page with an explanation, and a source code available for download.

Please use the tag cloud to search for a topic:


Below you can find all the files grouped by categories (tags):

===== logic =====
{{topic>logic}}

===== math =====
{{topic>math}}
===== set_algebra =====
{{topic>set_algebra}}

===== matrix =====
{{topic>matrix}}
===== numbers =====
{{topic>numbers}}
===== keywords =====
{{topic>keywords}}
===== patterns =====
{{topic>patterns}}
===== rules =====
{{topic>rules}}
===== backward-chaining =====
{{topic>backward-chaining}}
===== forward-chaining =====
{{topic>forward-chaining}}
===== diagnostic_systems =====
{{topic>diagnostic_systems}}

===== expert_shell =====
{{topic>expert_shell}}
===== expert_systems =====
{{topic>expert_systems}}
===== inference_engine =====
{{topic>inference_engine}}
===== knowledge_base =====
{{topic>knowledge_base}}

===== framework =====
{{topic>framework}}
===== interactive =====
{{topic>interactive}}
===== model =====
{{topic>model}}
===== simulator =====
{{topic>simulator}}


===== algorithms =====
{{topic>algorithms}}
===== function =====
{{topic>function}}

===== hypothesis =====
{{topic>hypothesis}}
===== proof =====
{{topic>proof}}

===== automata =====
{{topic>automata}}

===== counting =====
{{topic>counting}}
===== learning =====
{{topic>learning}}
===== planning =====
{{topic>planning}}
===== problem_solving =====
{{topic>problem_solving}}
===== searching =====
{{topic>searching}}
===== sorting =====
{{topic>sorting}}

===== graphs =====
{{topic>graphs}}
===== heap =====
{{topic>heap}}
===== lists =====
{{topic>lists}}
===== networks =====
{{topic>networks}}
===== queue =====
{{topic>queue}}
===== stack =====
{{topic>stack}}
===== terms =====
{{topic>terms}}
===== trees =====
{{topic>trees}}

===== game =====
{{topic>game}}
===== puzzle =====
{{topic>puzzle}}

===== chess =====
{{topic>chess}}
===== family =====
{{topic>family}}
===== fun =====
{{topic>fun}}
===== map =====
{{topic>map}}
===== money =====
{{topic>money}}

===== CLP =====
{{topic>CLP}}
===== DCG =====
{{topic>DCG}}
===== ILP =====
{{topic>ILP}}
===== NPDA =====
{{topic>NPDA}}
===== OOP =====
{{topic>OOP}}

===== arithmetic =====
{{topic>arithmetic}}
===== combinatorics =====
{{topic>combinatorics}}
===== electronics =====
{{topic>electronics}}
===== geometry =====
{{topic>geometry}}

===== conversation =====
{{topic>conversation}}
===== language =====
{{topic>language}}
===== natural_language =====
{{topic>natural_language}}

===== cut =====
{{topic>cut}}
===== operators =====
{{topic>operators}}
===== predicates =====
{{topic>predicates}}
===== recursion =====
{{topic>recursion}}
===== statements =====
{{topic>statements}}

===== compiler =====
{{topic>compiler}}
===== interpreter =====
{{topic>interpreter}}
===== metainterpreter =====
{{topic>metainterpreter}}
===== parser =====
{{topic>parser}}

===== file =====
{{topic>file}}
===== i/o =====
{{topic>i/o}}
===== memory =====
{{topic>memory}}
===== read/write =====
{{topic>read/write}}

===== tracers =====
{{topic>tracers}}

===== npda =====
{{topic>npda}}

===== misc =====
{{topic>misc}}