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
mailchimp
glance
jotform
quickfix
recordrtc
gil
realtek
quazip
private-cloud
microsoft-graph-cloudcommunications
network-drive
okular
postconstruct
moti
outlook-calendar
launchpad
intellij-platform-psi
soundpool
png
floyd-cycle-finding
deepzoom
limits
fsxaml
queued-connection
value-restriction
dhclient
xelement
solace
remote-execution
big.js
