first-order-logic fol julia logic logic-programming prolog

2p java javascript js jvm kotlin kotlin-multi-platform kotlin-multiplatform logic-programming prolog simbolic-ai symbolic tuprolog

answer-set-programming declarative-programming logic-programming

ai artificial-intelligence bot flow flowchart gpt logic logic-programming machine-learning ml python rasa rete rules whl

declarative-language declarative-programming logic-programming logtalk oop prolog

contract-knowledge contracts knowledge knowledge-base knowledge-graph license logic-programming reasoning-machine semantic-web streamlit-webapp zincbase

answer-set-programming lazy-grounding logic-programming solver

deep-learning deep-neural-networks drug-discovery explainable-ai logic-programming

c-sharp dotnet-framework logic-programming mysql sql

automated-planning constraint-logic-programming constraint-programming logic-programming timeline-based-planning

datalog knowledge-graph language logic logic-programming rdf rule-engine