tuProlog 2p-kt Q A · Discussions · GitHub

Sort by: Latest activity

Categories

Q&A Discussions

Ask the community for help

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
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
You must be logged in to vote

Pre-processor for rules

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

7
You must be logged in to vote

How to load multiple theories

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

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
You must be logged in to vote

Best way to implement term_json?

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

3
You must be logged in to vote

Using 2p-kt programmatically

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

1