Stars
4
Forks
1
Language
Java
Last Updated
Apr 12, 2023
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
Erlang | 3 | Prolog interpreter in and for Erlang | Jan 28, 2020 | |
Erlang | 349 | Prolog interpreter in and for Erlang | May 03, 2023 | |
C | 4 | Prolog interpreter made with Flex/Bison for compilers class. | Mar 02, 2021 | |
VimL | 91 | Prolog Integration for Vim | Jul 18, 2022 | |
C# | 35 | A mostly ISO-compliant Prolog interpreter for Unity3D | Dec 20, 2022 | |
Prolog | 129 | Interpreter for a simple Lisp. Written in Prolog. | Nov 23, 2022 | |
Python | 15 | Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/ | Jan 10, 2023 | |
Jupyter Notebook | 6 | Reasoning Over Knowledge Graph Paths for Recommendation | Dec 17, 2021 | |
Lua | 243 | Reasoning Over Knowledge Graph Paths for Recommendation | Aug 10, 2022 | |
Python | 18 | Neural Unification for Logic Reasoning over Language | Apr 29, 2022 | |
C# | 3 | This is the Prolog interactive interpreter running on a Web browser! | Mar 23, 2022 | |
OCaml | 6 | JS binders and tools to interact with the Elpi lambda-prolog interpreter written in OCaml. | Mar 03, 2023 | |
None | 2 | Python Interpreter for Photoshop integration | Feb 08, 2022 | |
Python | 5 | Code for NMN over DROP -- Neural Module Networks for Reasoning over Text | Oct 30, 2022 | |
Python | 307 | Database Reasoning Over Text project for ACL paper | Aug 04, 2022 | |
None | 13 | Explainable Reasoning over Knowledge Graphs for Recommendation, AAAI2019 | Sep 26, 2022 | |
Rust | 2 | A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler | Oct 23, 2023 | |
JavaScript | 10 | A Node.js interface to the SWI-Prolog communicating over stdio. | Mar 04, 2023 | |
Python | 2 | The source code for Contrastive Learning with Logic-driven Data Augmentation for Logical Reasoning over Text. | May 23, 2023 | |
Java | 3 | Java 8 implementation of a mini prolog-style solver, based on the Javascript version of https://curiosity-driven.org/prolog-interpreter | May 25, 2021 | |
Python | 120 | Neural Module Network for Reasoning over Text, ICLR 2020 | Feb 28, 2023 | |
Python | 28 | Code for the paper "Reasoning Through Memorization: Nearest Neighbor Knowledge Graph Embeddings" | Oct 15, 2022 | |
None | 112 | OpenDialKG: Explainable Conversational Reasoning with Attention-based Walks over Knowledge Graphs | Jul 21, 2022 | |
TeX | 2 | An interpreter handling over effects for Eff | Mar 31, 2023 | |
Groovy | 4 | Integration with Slack through UrbanCode Deploy. | Apr 13, 2020 | |
Python | 32 | Code and datasets for the ICLR2023 paper "Multimodal Analogical Reasoning over Knowledge Graphs. " | Mar 19, 2023 | |
HTML | 62 | A simple hypergraphs package for the Julia programming language | May 19, 2023 | |
Python | 9 | Interactive Python interpreter over TCP for Tornado applications | May 08, 2017 | |
Python | 8 | Django integration with WordPress through the json-rest-api plugin | Jul 17, 2018 | |
Racket | 291 | Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing. | Apr 20, 2023 | |
TypeScript | 3 | Arweave integration with Memex through Storex Hub | Jun 23, 2021 | |
Python | 3 | Code for EMNLP2020 "Towards Interpretable Reasoning over Paragraph Effects in Situation" | Jul 07, 2022 | |
TypeScript | 22 | Trealla Prolog for the web | Apr 19, 2023 | |
HTML | 3 | "Build client web apps with Prolog" - The library to make Single Page Prolog Applications! | Jan 11, 2021 | |
Python | 11 | [EMNLP Findings 2022] ReaRev: Adaptive Reasoning for Question Answering over Knowledge Graphs | Apr 12, 2023 | |
Python | 3 | CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs, EACL 2023 | Jun 30, 2023 | |
HTML | 4 | Emotion Reasoning. Models, analyses and data for the 2022 CogSci paper, "Reasoning about the antecedents … | Apr 27, 2023 | |
Python | 2 | OpenAI Model integration with Python through OpenAI API | Apr 17, 2023 | |
Python | 115 | Code for Improving Factuality and Reasoning in Language Models through Multiagent Debate | Jun 30, 2023 | |
PHP | 3 | module for customer integration through magento | Jul 03, 2022 | |
C++ | 20 | Xcode integration for GoogleMock through XCTest | May 13, 2022 | |
C | 2 | Code and data for clustering graphs and hypergraphs with categorical edge labels. | Dec 24, 2020 | |
C | 13 | The graphics toolkit for SWI-Prolog | Mar 12, 2023 | |
Python | 7 | Home Assistant integration for BenQ projectors over the serial interface. | Apr 30, 2023 | |
Rust | 3 | Iterator adaptor with caching that allows reiterating over the same iterator through the cache | Oct 22, 2022 | |
Python | 12 | [In Progress] Codes for "OpenDialKG: Explainable Conversational Reasoning with Attention-based Walks over Knowledge Graphs", ACL … | May 21, 2022 | |
Jupyter Notebook | 6 | TFLEX: Temporal Feature-Logic Embedding Framework for Complex Reasoning over Temporal Knowledge Graph | Apr 23, 2023 | |
Isabelle | 9 | Automated Reasoning for the Working Mathematician | May 08, 2023 | |
Python | 148 | Easy Django integration with Elasticsearch through ZomboDB Postgres Extension | Jan 31, 2023 | |
Prolog | 5 | Demo of the Monty Python witch scene with Prolog | Aug 03, 2022 |