Stars
- All languages
- Agda
- Arduino
- Assembly
- Augeas
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- G-code
- GLSL
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Kotlin
- Makefile
- Nim
- OCaml
- Objective-C
- Opa
- PHP
- Pascal
- Perl
- Prolog
- PureScript
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Svelte
- Tcl
- TeX
- TypeScript
- Vala
- Vue
- WebAssembly
15
results
for source starred repositories
written in Prolog
Clear filter
Some notes taken while working on Prolog
'Phenesthe' (orig. φαίνεσθαι) is a system for the representation and processing of instantaneous and durative temporal phenomena.
Base Forward Chaining Knowledge Base Maintenance System
Extend Definite Clause Grammars for Prolog by the corresponding parse tree
Implementation of dependent type theory in SWI-Prolog
Research into logic programming and knowledge representation
ISO 8601 date & time parsing module for Prolog
Traverse and transform HTML/XML/SGML Documents