Posts Tagged "Prolog"
- Runtime Evaluation of Prolog Data Structures
- A Jupyter Kernel for Prolog
- Fifty Years of Prolog and Beyond
- Effectiveness of Annotation-Based Static Type Inference
- On the Performance of Bytecode Interpreters in Prolog
- Prolog Coding Guidelines: Status and Tool Support
- Measuring Coverage of Prolog Programs Using Mutation Testing
- plspec - A Specification Language for Prolog Data
- Distributed Model Checking Using ProB
- Evaluating Interpreter Design in Prolog
