Example Problems and Assignments for Prolog
☆33Apr 23, 2013Updated 12 years ago
Alternatives and similar repositories for Prolog
Users that are interested in Prolog are comparing it to the libraries listed below
Sorting:
- The Trill probabilistic ontology reasoner on SWISH☆12Oct 1, 2025Updated 4 months ago
- Examples of common usage of the Cyc APIs.☆17Jan 18, 2018Updated 8 years ago
- IRC Bot Written in Prolog☆20May 23, 2021Updated 4 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- The SWI-Prolog HTTP server and client libraries☆27Updated this week
- Prolog Tutorials and Information☆173Apr 13, 2019Updated 6 years ago
- Web Framework for SWI-Prolog☆43Dec 23, 2015Updated 10 years ago
- Useful vim indent, syntax, and filetype setting for NCL, fortran.☆11Feb 23, 2021Updated 5 years ago
- Material associated with Physics Report "Data science applications to string theory"☆11Jun 20, 2023Updated 2 years ago
- Julia interface to Java database drivers☆38Sep 30, 2022Updated 3 years ago
- Пример реализации sso через SAML☆10Nov 20, 2017Updated 8 years ago
- Livro com o conteúdo do material de aulas e do site da Curso-R☆10Apr 16, 2024Updated last year
- ☆12Aug 24, 2014Updated 11 years ago
- Mobile and Web application for real time early prediction of sepsis(6 hours before the onset). I did pre processing, data visualisation ,…☆11Sep 20, 2020Updated 5 years ago
- Twitter text processing library (auto linking and extraction of usernames, lists and hashtags). Based on the Java implementation by Matt …☆88Jul 28, 2014Updated 11 years ago
- Additional support for using Watir with Angular based websites☆11Jan 11, 2019Updated 7 years ago
- Jupytext talk at PyParis 2018☆11Dec 10, 2018Updated 7 years ago
- 红尘后台管理 客户端代码放群共享里面 qq群: 183153579☆10May 9, 2019Updated 6 years ago
- notes structured as org-mode, Markdown, or LaTeX files☆10May 25, 2018Updated 7 years ago
- 一个基于scrapy+selenium+phantomjs的爬虫程序，用于抓取多个学校的学术报告信息☆10Sep 3, 2015Updated 10 years ago
- Zurich Morphological Lexicon for German: a tool to extract a morphological lexicon from Wiktionary☆12Aug 10, 2023Updated 2 years ago
- JSON API serializing for crystal☆12May 26, 2016Updated 9 years ago
- Presentation☆13Jun 22, 2022Updated 3 years ago
- Simple BlackJack game via Browser using SWI Prolog, Tau Prolog☆10Feb 2, 2020Updated 6 years ago
- Sources of Collatinus software - Latin lemmatizer and morphological analyzer☆11Apr 25, 2016Updated 9 years ago
- zprint in Emacs☆10Jun 13, 2021Updated 4 years ago
- Event data in a box, basically.☆15Nov 4, 2014Updated 11 years ago
- Collections of Slides for FOSS4G 2014☆10Sep 29, 2014Updated 11 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- A source which uses result of everything (http://www.voidtools.com/) for unite.vim☆15Apr 2, 2018Updated 7 years ago
- A simple Surface macro component that converts markdown into HTML at compile-time☆11Feb 19, 2024Updated 2 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated last year
- OpenID Connect for Julia☆14Dec 3, 2025Updated 2 months ago
- Multiple cursors for Emacs☆83Jan 21, 2026Updated last month
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- my attempt to learn prolog by solving the 99 problems in prolog.. the files named P<int><int>.pl are the original solutions while others …☆10Jun 24, 2011Updated 14 years ago
- A machine learning library focused on deep learning☆11Jun 2, 2015Updated 10 years ago
- brat rapid annotation tool (brat) - for all your textual annotation needs☆10Feb 3, 2018Updated 8 years ago