Różnice
Różnice między wybraną wersją a wersją aktualną.
|
|
pl:prolog:pllib:start [2013/11/03 15:08] ikaf |
pl:prolog:pllib:start [2019/06/27 15:50] |
====== 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: | |
| |
| |
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}} | |
| |