Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: logician 17. 03. 2016, 11:29:10

Název: Prolog s disjunkcí
Přispěvatel: logician 17. 03. 2016, 11:29:10
Mám prototyp logické databáze v Prologu, ale u některých pravidel potřebuju disjunkci v konsekventu. Existuje nějaký jazyk pro logické programování s disjunkcí (nejlépe nějaké rozšíření Prologu)? Pokud ano, co je sémantice "běžného" Prologu nejbližší? Není nutná podpora složených termů (ale je to nice to have).
Název: Re:Prolog s disjunkcí
Přispěvatel: Ivan Nový 17. 03. 2016, 22:07:03
Mám prototyp logické databáze v Prologu, ale u některých pravidel potřebuju disjunkci v konsekventu. Existuje nějaký jazyk pro logické programování s disjunkcí (nejlépe nějaké rozšíření Prologu)? Pokud ano, co je sémantice "běžného" Prologu nejbližší? Není nutná podpora složených termů (ale je to nice to have).
Napište si ho sám pomocí MPS. Výsledný kód může běžet v Javě. https://www.jetbrains.com/mps/