Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:C_programming_language
|
| gptkbp:available_at |
gptkb:Git_Hub
|
| gptkbp:designed_by |
Giorgio Levi
|
| gptkbp:features |
Lambda abstraction
Higher-order unification Module system |
| gptkbp:first_released |
gptkb:1987
|
| gptkbp:has_community |
gptkb:developers
gptkb:scientific_community Active user community |
| gptkbp:has_documentation |
gptkb:Tutorials
User manual Reference manual |
| gptkbp:has_feature |
Code completion
Syntax highlighting Unit testing framework Integrated development environment Interactive debugging Profiling tools Version control integration Plugin support Customizable interface Multi-threading support Documentation generation Error reporting Code refactoring tools Integration with other languages Remote execution capabilities Source code tracing |
| gptkbp:has_version |
gptkb:2.0
gptkb:3.0 1.0 |
| https://www.w3.org/2000/01/rdf-schema#label |
The Lambda Prolog System
|
| gptkbp:is_implemented_in |
gptkb:C
|
| gptkbp:license |
gptkb:GNU_General_Public_License
Apache License MIT License |
| gptkbp:operating_system |
Cross-platform
|
| gptkbp:paradigm |
Logic programming
|
| gptkbp:related_to |
gptkb:Prolog
Logic programming languages |
| gptkbp:supports |
Graphical user interface
Object-oriented programming Web applications Meta-programming Database integration Constraint logic programming Higher-order logic |
| gptkbp:type |
gptkb:open-source_software
|
| gptkbp:used_for |
Natural language processing
Theorem proving Knowledge representation |
| gptkbp:used_in |
gptkb:Artificial_Intelligence
|
| gptkbp:written_in |
gptkb:Prolog
|
| gptkbp:bfsParent |
gptkb:Dale_Miller
|
| gptkbp:bfsLayer |
5
|