My question is pretty similar to Not getting a theory in Aleph for SWI Prolog After trying to induce a theory, I end up getting only single atoms My code(only a
datetimeformatter
stackprof
rodeo
collections
datacontext
compressed-class
sylius
encodable
roundedbitmapdrawable
gtkbutton
camel-simple
preload
builder.io
progress
synchronized
nscolor
laravel-eloquentmany
activator
resource-timing-api
c++sharp
css-reset
tibco-rv
aws-sts
phppgadmin
qgraphicspixmapitem
pyyaml
mud
phone-call
qcommandlineparser
google-cloud-memorystore