Lehekülje "Tiny examples of problems for otter" muudatuste ajalugu

Mine navigeerimisribale Mine otsikasti

Märgi versioonid, mida tahad võrrelda ja vajuta võrdlemisnupule. Legend: (viim) = erinevused võrreldes viimase redaktsiooniga, (eel) = erinevused võrreldes eelmise redaktsiooniga, P = pisimuudatus

  • viimeel 26. oktoober 2015, kell 17:28‎ Tanel arutelu kaastöö‎ 629 baiti +629‎ Uus lehekülg: '<pre> set(auto). set(prolog_style_variables). set(print_kept). list(usable). father(john,pete). brother(pete,mark). -brother(X,Y) | brother(Y,X). -father(X,Y) | parent(X,Y). -m...'
Pärit leheküljelt "http://courses.cs.taltech.ee/pages/Tiny_examples_of_problems_for_otter"