debug_adapter
tar.pl
debug_adapter | tar.pl | |
---|---|---|
3 | 4 | |
19 | 255 | |
- | - | |
0.0 | 10.0 | |
about 2 years ago | over 1 year ago | |
Prolog | Prolog | |
MIT License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
debug_adapter
-
Newbie questions regarding editor (Emacs) and debugger
In dap-mode, the call stack is available in the Debug sessions buffer, under the active session (as seen here for example). As for the options presented for M-x dap-debug, Run Configuration (maybe not the best name? I'm open for suggestions) prompts for a goal and executes it under the debugger so you can step through it etc., while Start Terminal asks the server to start a Prolog top-level (REPL) and connects to it in a new terminal Emacs window.
-
Debugging Prolog within modern IDEs using the Debug Adapter Protocol server
I've recently implemented a Debug Adapter Protocol server for SWI-Prolog, for those who have never heard of it, the Debug Adapter Protocol (DAP in short) is a protocol developed by Microsoft to allow IDEs to interact with different debuggers for different languages through a standard interface.
tar.pl
What are some alternatives?
pyswip - PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog foreign language interface, a utility class that makes it easy querying with Prolog and also a Pythonic interface.
Prolog-to-List-Prolog - Converts Prolog algorithms to List Prolog algorithms
logtalk3 - Logtalk - declarative object-oriented logic programming language
data-logic - Expert system with deductive querying and verification of constraints expressed in natural language
SSI - A Prolog Compiler written in Prolog.
bencode - Bencoding for Prolog
RTEC - RTEC is an Event Calculus implementation optimised for stream reasoning
ciao - Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
sparqlprog - logic programming with SPARQL
the-power-of-prolog - Introduction to modern Prolog
Philosophy - List of Philosophy Algorithms
constrained.pl - Provides generalized versions of common Prolog predicates using constraints to make them more flexible and declarative.