[go: nahoru, domu]
Skip to content
View arademaker's full-sized avatar
🎯
Focusing
🎯
Focusing
220 followers · 122 following

Achievements

Achievement: Galaxy BrainAchievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Galaxy BrainAchievement: QuickdrawAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Highlights

  • Pro

Organizations

@EMAp @delph-in @globalwordnet @openrif @own-pt @UniversalPropositions
Block or Report

Block or report arademaker

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Lists (19)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.
Type: All
Language: Prolog
Sort by: Most stars

Starred repositories

4 stars written in Prolog
Clear filter

kovvalsky / LangPro

Tableau-based Theorem Prover for Natural Logic and Language

Prolog 110 10 Updated Jul 21, 2024

cmungall / sparqlprog

logic programming with SPARQL

Prolog 45 7 Updated Jan 16, 2023

tomsherborne / geoquery-src

A mirror of the original GeoQuery info site

Prolog 8 1 Updated Jan 18, 2023

LR-POR / BrGram

Computational grammar fragment of Brazilian Portuguese in the LFG formalism implemented in XLE

Prolog 4 Updated Apr 5, 2018

Starred topics