@InProceedings{Adding_forward_chaining_and_truth_maintenance_to_Prolog, author = "Tim Finin, Richard Fritzson, and David Matuszek", title = "{Adding forward chaining and truth maintenance to Prolog}", month = "March", year = "1989", note = "Code is available on GitHub", pages = "123-130", booktitle = "5th Artificial Intelligence Applications", publisher = "IEEE", }