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
cpp-netlib
react-native-fetch-blob
actionmailer
c#-7.3
react-native-localize
airprint
cuobjdump
azure-tablequery
easypie
language-specifications
tfs-2019
visual-studio-power-tools
gmsautocomplete
bean-io
magento-2.3
uinavigationbarappearance
native-module
keytool
sequence-to-sequence
sql-null
react-native-fast-image
sttp
pgmpy
stdatomic
ssms-2014
microsoft.data.sqlite
xacml
mediawiki-templates
complement
composite-types
