Discussions

• 1 You must be logged in to vote

  🙏

  How can I use the Solver with Java language?

  giuseppeboezio asked Nov 30, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  💡

  Implementing backend db like ES (JSON friendly graph db)

  daniellefisla started Apr 6, 2022 in Ideas

  

  

  3
• 1 You must be logged in to vote

  🙏

  How to translate this 2p-specific code in 2p-kt?

  enrdenti asked Oct 20, 2021 in Q&A · Answered

  

  

  17
• 1 You must be logged in to vote

  🙏

  Pre-processor for rules

  vasily-kartashov asked Aug 9, 2021 in Q&A · Answered

  

  

  7
• 1 You must be logged in to vote

  🙏

  How to load multiple theories

  vasily-kartashov asked Aug 15, 2021 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💡

  SWI-Prolog object notation

  vasily-kartashov started Aug 9, 2021 in Ideas

  

  

  1
• 1 You must be logged in to vote

  🙏

  Example for reading prolog file, adding a clause and unifying

  vasily-kartashov asked Jul 31, 2021 in Q&A · Answered

  

  

  17
• 1 You must be logged in to vote

  🙏

  Best way to implement term_json?

  vasily-kartashov asked Aug 9, 2021 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  📣

  Welcome to 2p-kt Discussions!

  gciatto announced Jul 1, 2021 in Announcements

  

  

  0
• 1 You must be logged in to vote

  🙏

  Using 2p-kt programmatically

  Emmeral asked Jun 22, 2021 in Q&A · Unanswered

  

  

  1