Block or Report
Block or report dbuades
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Prolog
Sort by: Most stars
2
results
for source starred repositories
written in Prolog
Clear filter
SWRL2SPIN is a tool built in SWI-Prolog for transforming SWRL rules to SPIN rules