Open main menu

Home
Random

Log in

Settings

About GM-RKB
Disclaimers

SLD-Resolution

Language
Watch
Edit

See: Horn Clause, Logic Sentence.

Retrieved from "http://www.gabormelli.com/RKB/index.php?title=SLD-Resolution&oldid=723291"

Last edited on 23 September 2021, at 20:40

GM-RKB

This page was last edited on 23 September 2021, at 20:40.

Privacy policy
About GM-RKB
Disclaimers
Desktop