30 years after having started coding in BASIC-DOS

For Prolog in general: Useful Prolog references

For ->
Control Predicates

HTH