Prolog for circuit simulation, realtime?

From: pekka (pekka_at_koping.net)
Date: 02/22/04 

Date: 22 Feb 2004 10:11:39 -0800

Hello,

I'm actually just started to learn Prolog and I thought it should be
suitable for electric simulation. Maybe not for realtime?

The problem I thinking of is like this:

- From CAD-data built up a simulation of a rather simple electric
circuit, containing following components: lamps, pushbuttons, relay,
DC/AC-levels, fuses, I think this all, but of course wires to:). But
there are also u-controller-nodes and they are simulated in another
way (not Prolog), at the same time and everything shall interact with
each other
- The simulation of the simple electric circuit is on a logic level,
i.e.
just "ground"-, +28V(ex.), "floating"-levels, Lamps is lighten, relay
activated ...
- To complicate everything => Will use the simulation model in an
realtime
environment. For example the designer want to use one real
u-controller-node, i.e. real hardware with actual software, with the
rest simulated.

Does anyone know anything about this type of work?

- Your own experience
- Good Links
- Literature

Note: Seems that the recommendation from thread "Prolog book
recomendations?" is worth looking further on "Clause and Effect:
Prolog Programming for the Working Programmer by William F. Clocksin",
chapter 7. Case Study: Manipulatin of Combinational Circuits...

- More ...

PS.
  Looking forward for answers;)
DS.