https://futureofcoding.org/ logo
#of-logic-programming
Title
# of-logic-programming
j

Jason Morris

08/15/2023, 4:01 PM
Anyone ever played with Symboleo? I'm only now learning it is under development in Canada (University of Ottawa) for use in legal contracts. Logic based, uses event calculus, implemented in Prolog-inside-Java, looks like. Shares a lot of design objectives with what I'm doing with Blawx.
c

CocoaGeek

09/08/2023, 3:31 AM
I have not. It’s a cool name BTW
j

Jason Morris

09/08/2023, 5:30 AM
Yeah, not bad. :)