;;; -*- Mode:LISP; Package:PROLOG; Base:10 -*-

;;; LM-Prolog loaded.

(defvar *prolog-release* 9.2)

;Protect us from possible area bug.
(PROLOG:PROLOG-STRING "~S" " ")

;Protect us from user doing (UNADVISE).
(setq si:advised-functions ())

(sstatus feature LM-PROLOG)

(format t "~%LM-Prolog version 9.2.  
Copyright (C) 1983,1984,1985, M. Carlsson, K.M. Kahn, UPMAIL.")

#+Symbolics
(format t "~%Type ~C followed by ~C to talk to LM-Prolog."
	#\meta-abort *roman-ii*)

(format t "~%Type ~C for help." *super-help*)

(pkg-goto ':puser #+commonlisp t)