Spaces:

Claimant
/

POMS-QA-LogicLLM

App Files Files Community

npc0 commited on Aug 9

Commit

bd76d76

•

1 Parent(s): b548fdf

Update app.py

Files changed (1) hide show

app.py +2 -2

app.py CHANGED Viewed

@@ -1,9 +1,9 @@
 import gradio as gr
 from pyswip import Prolog
-janus.consult("knowledge_base.pl")
 def yes_man(message, history):
-    prolog = Prolog()
     # % Define the person
     prolog.assertz("us_citizen(john_doe)")
     prolog.assertz("lawfully_residing(john_doe, 'U.S.', date(1996, 1, 1))")

 import gradio as gr
 from pyswip import Prolog
+prolog = Prolog()
+prolog.consult("knowledge_base.pl")
 def yes_man(message, history):
     # % Define the person
     prolog.assertz("us_citizen(john_doe)")
     prolog.assertz("lawfully_residing(john_doe, 'U.S.', date(1996, 1, 1))")