This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
prolog:pllib:start [2009/10/22 13:14] 127.0.0.1 external edit |
— (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Prolog Examples Library ====== | ||
| - | 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: | ||
| - | |||
| - | ~~TAGCLOUD~~ | ||
| - | |||
| - | 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}} | ||
