オブジェクト指向プログラミングは、述語の内部状態を隠しておいて、 その状態を操作するのに適しています。

MINERVAでは、クラスとそのメソッドを定義することができます。

あるクラスのあるオブジェクトには、 黒板データ、つまり、bb_ で始まる 述語を使ってアクセスすることができる内部状態があります。

例:

:- class(counter).

Counter :: init :-
	bb_put(Counter, index, 0).

Counter :: init(InitialValue) :-
	bb_put(Counter, index, InitialValue).

Counter :: get(Value) :-
	bb_get(Counter, index, Value).

Counter :: set(Value) :-
	bb_put(Counter, index, Value).

Counter :: next(Value) :-
	Counter :: get(OldValue),
	NewValue is OldValue + 1,
	Counter :: set(NewValue),
	Value = NewValue.

:- endclass.

新しいオブジェクトを作るために、MINERVAコンパイラは、これらの述語を処理し、 create_CLASS/1/2の述語を生成します。

結果として生成された述語は、

	Object::Method(Arg1,..,ArgN)

上の例は、古典的なPrologでは以下のようになります。

	create_counter(10,Counter),
	Counter :: next(Index)

上の例は、関数表記では、以下のようになります。

	Counter <- create_counter(10),
	Index <- Counter::next,
	...