https://github.com/webyrd/mediKanren

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
https://github.com/webyrd/mediKanren

minikanren ncats-translator racket

Last synced: 2 months ago
JSON representation

Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

• Host: GitHub
• URL: https://github.com/webyrd/mediKanren
• Owner: webyrd
• License: mit
• Created: 2017-11-17T18:03:59.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2024-05-22T20:03:06.000Z (8 months ago)
• Last Synced: 2024-05-22T21:30:42.014Z (8 months ago)
• Topics: minikanren, ncats-translator, racket
• Language: Racket
• Homepage:
• Size: 28.3 MB
• Stars: 316
• Watchers: 29
• Forks: 53
• Open Issues: 28
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-racket-and-scheme - mediKanren - of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing (Racket)

README

        
# mediKanren

*** FOR RESEARCH PURPOSES ONLY ***

Proof-of-concept for reasoning over medical knowledge graphs, using miniKanren + heuristics + indexing.

There are several prototypes, each in its directory:

- [`attic/code`](attic/code) is the original prototype.

- [`medikanren`](medikanren) is the working prototype.

- [`medikanren2`](medikanren2) is the next-generation prototype.

Contributed use cases, queries and applications are now located in a directory separate from medikanren itself:

- [contrib/](contrib)

If you have previously contributed code applying medikanren and can't find yours, look there.